Boolean expression in terms of minterms